1.
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Confer...
by Abdulla, Parosh Aziz, Leino...
ISBN: 9783642198342
List Price: $95.00
2.
Rechability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26...
by Abdulla, Parosh Aziz, Potap...
ISBN: 9783642410352
List Price: $72.00
3.
Networked Systems : 4th International Conference, Netys 2016, Marrakech, Morocco, May 18-20,...
by Abdulla, Parosh Aziz, Delpo...
ISBN: 9783319461397
List Price: $84.00
4.
Reachability Problems : 7th International Workshop, Rp 2013, Uppsala, Sweden, September 24-2...
by Abdulla, Parosh Aziz, Potap...
ISBN: 9783642410376
List Price: $24.99